protoknow(pr,a,pri(enc,[cmr(s,dot,dot),pri(hash,[pri(lst,[cmr(a,1,dot),cmr(b,1,dot)])])])).
protoknow(pr,a,pri(hash,[pri(lst,[cmr(a,2,dot),cmr(b,2,dot)])])).
